6ee415dcca1238840e0ebf72a45183b22e69a87d,protege-editor-owl/src/main/java/org/protege/editor/owl/ui/renderer/OWLClassIcon.java,OWLClassIcon,paintIcon,#Component#Graphics#number#number#,33

Before Change


        Color oldColor = g.getColor();
        g.setColor(Color.LIGHT_GRAY);
        int size = getSize() - 2 * getPadding();
        g.fillOval(x, y, size, size);
        g.setColor(COLOR);

        g.fillOval(x + 1, y + 1, size - 2, size - 2);

After Change



        int size = getSize() - 2 * getPadding();

        if(getFillType() == FillType.FILLED) {
            g.setColor(Color.LIGHT_GRAY);
            g.fillOval(x, y, size, size);
            g.setColor(COLOR);
            g.fillOval(x + 1, y + 1, size - 2, size - 2);
        }
        else {